#!/bin/bash

error_exit(){
	echo "ERROR: $1"
	exit 1
}
